Buy Used and New Arild Waaler Books

Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642027154

Format: Paperback (341 pages)
Publisher: Springer
Published: 24 Jun 2009

Save for later